How To Read A Proof